Principia Mathematica - PDFSEARCH.IO - Document Search Engine

Principia Mathematica
Results: 84

#	Item
61	162 SAUNDERS MACLANE Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-01-14 11:31:16 Peano axioms Axiom Metamath Mathematical proof Principia Mathematica Intuitionistic logic Propositional calculus Consistency Function Logic Mathematics Mathematical logic
62	review-graffi.qxp[removed]:27 PM Page 601 Book Review Add to Reading List Source URL: www.ams.org Language: English - Date: 1999-03-08 15:16:42 Humanities Lucio Russo Hipparchus Hellenistic civilization Heliocentrism Greek mathematics Philosophiæ Naturalis Principia Mathematica Scientific method Archimedes Science Ancient Greek mathematicians Mathematics
63	The Reverse Logic of Resolving the Contradictions-pop 2 rzy Add to Reading List Source URL: studiahumana.com Language: English - Date: 2013-11-11 11:08:36 Mathematical logic Propositional calculus Logical consequence Non-classical logic Contradiction Truth Law of noncontradiction Principia Mathematica Entailment Logic Philosophy Philosophical logic
64	Intuitionistic Type Theory Per Martin-L¨of Notes by Giovanni Sambin of a series of lectures Add to Reading List Source URL: www.csie.ntu.edu.tw Language: English - Date: 2009-06-20 07:32:17 Logic in computer science Propositional calculus Type theory Proof theory Natural deduction Function Principia Mathematica First-order logic Interpretation Logic Mathematical logic Mathematics
65	Boundary Algebra: A Simple Notation for Boolean Algebra and the Truth Functors Add to Reading List Source URL: www.lawsofform.org Language: English - Date: 2011-01-15 01:04:23 Boolean algebra Algebraic structures Algebraic logic Laws of Form Existential graph First-order logic Principia Mathematica Paul Halmos Modal logic Mathematics Logic Mathematical logic
66	Medical History, 1987, 31: [removed]ARCHIBALD PITCAIRNE AND NEWTONIAN Add to Reading List Source URL: www.ncbi.nlm.nih.gov Language: English Fellows of the Royal Society Introductory physics Archibald Pitcairne Isaac Newton Philosophiæ Naturalis Principia Mathematica Richard Mead Leiden University De motu corporum in gyrum Classical mechanics Physics Science British people
67	A Formulation of the Simple Theory of Types Alonzo Church The Journal of Symbolic Logic, Vol. 5, No. 2. (Jun., 1940), pp[removed]. Add to Reading List Source URL: www.classes.cs.uchicago.edu Language: English - Date: 2007-04-02 18:01:33 Formal languages Logical syntax Metalogic Model theory Interpretation Metamath Axiom Theorem Principia Mathematica Logic Mathematics Mathematical logic
68	Amending Frege’s Grundgesetze der Arithmetik [draft] To the memory of Nhˆe[removed]) Add to Reading List Source URL: www.ciul.ul.pt Language: English - Date: 2002-10-10 10:09:04 Philosophy of mathematics Type theory Axiom of reducibility Bertrand Russell Computability theory Logicism Gottlob Frege Principia Mathematica Function Mathematics Mathematical logic Logic
69	Putting Form Before Function: Logical Grammar in Frege, Russell, and Wittgenstein Add to Reading List Source URL: people.umass.edu Language: English - Date: 2004-09-03 10:05:30 Philosophy of language Philosophical logic Meaning Semantics Analytic philosophers Gottlob Frege Sense and reference Function Principia Mathematica Philosophy Analytic philosophy Logic
70	The vis viva dispute: A controversy at the dawn of dynamics Add to Reading List Source URL: philoscience.unibe.ch Language: English - Date: 2011-02-14 10:36:07 Natural philosophy Fellows of the Royal Society Astronomers Introductory physics Christiaan Huygens Philosophiæ Naturalis Principia Mathematica Vis viva De motu corporum in gyrum Gottfried Leibniz Physics Science Mechanics